Adapting Structural Testing to Functional Programming
نویسنده
چکیده
Structural testing is heavily used in the software development process in the context of imperative programming. In order to become applicable to functional programming languages it needs, however, some adaption. We investigate the definition and generation of interprocedural flow graphs for functional programs and identify data flow oriented testing as best choice for the application to functional programming. Special data flow oriented coverage criteria are defined for the use with functional programs.
منابع مشابه
Data Flow Coverage for Testing Erlang Programs
Flow graph oriented testing is heavily used in industry, but has not yet been adapted to functional programming. Carrying over this approach from imperative programs to other programming paradigms consists of adapting the notion of flow graphs, and the identification of useful coverage criteria. The identification of coverage criteria is the topic of this paper. We define a number of data flow ...
متن کاملGENETIC PROGRAMMING AND MULTIVARIATE ADAPTIVE REGRESION SPLINES FOR PRIDICTION OF BRIDGE RISKS AND COMPARISION OF PERFORMANCES
In this paper, two different data driven models, genetic programming (GP) and multivariate adoptive regression splines (MARS), have been adopted to create the models for prediction of bridge risk score. Input parameters of bridge risks consists of safe risk rating (SRR), functional risk rating (FRR), sustainability risk rating (SUR), environmental risk rating (ERR) and target output. The total ...
متن کاملStructural and Functional Analysis of an Industrial, Flexible, and Demountable Wall Panel System (RESEARCH NOTE)
Building waste is a critical issue in current construction. Innovative design strategies are required to reduce the depletion of valuable materials and resources through providing flexible and versatile structures. This study focuses on the development of an industrial, flexible, and demountable wall panel construction system. The panel system consists of concrete blocks with steel connectors t...
متن کاملStructural Validation of Expert Systems Using a Formal Model*
There are two complementary aspects to testing a software system: functional testing determines how well the system performs its required operations; structural testing determines that the components of the system are sufficiently exercised during testing. Functional testing is based upon a specification of the system requirements; structural testing is based upon a model of the structure of th...
متن کاملUrban neighborhood regeneration; Interpretive structural modeling of the factors affecting connected public spaces
Urban planning has emphasized quicker, lighter, and cheaper methods in recent years. According to urban studies, urban public spaces are valuable factors for urban neighborhood regeneration. Although, the concept of the network (connectivity in public spaces) is not new, and various authors and researchers had applied and adapted it to different areas of urban planning, it would be a new approa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006